/* (let a : int = 10 ; b : int = (+ a 20) ;) */
int a = 10;
int b = a + 20;

/* (let x : int = 1) */
int x = 1;

/* (let y : int = 1 ;) */
int y = 1;

/* (let b : bool = #t) */
bool b = true;

/* (let c : bool = (and #t #f)) */
bool c = true && false;

/* (let s : (ptr (const char)) = "Hello") */
char const *s = "Hello";

